bitkeeper revision 1.1360 (4267fb9cE5_cr52xAcYJVAIQ7vYIzg)

Added SH_VVVLOG, rather than #if 0, for useful but incredibly verbose shadow mode debugging hook

Signed-off-by: michael.fetterman@cl.cam.ac.uk

diff --git a/xen/include/asm-x86/shadow.h b/xen/include/asm-x86/shadow.h
index fce84aac5ad319fb835ffd89e9ef0d17e5dadf7a..bbf6f79aa79e31ec0c3534ac5a91253dbe50e99a 100644 (file)
--- a/xen/include/asm-x86/shadow.h
+++ b/xen/include/asm-x86/shadow.h
@@ -227,6 +227,7 @@ struct out_of_sync_entry {
 #define SHADOW_DEBUG 0
 #define SHADOW_VERBOSE_DEBUG 0
 #define SHADOW_VVERBOSE_DEBUG 0
+#define SHADOW_VVVERBOSE_DEBUG 0
 #define SHADOW_HASH_DEBUG 0
 #define FULLSHADOW_DEBUG 0
 
@@ -258,6 +259,14 @@ extern int shadow_status_noswap;
 #define SH_VVLOG(_f, _a...)
 #endif
 
+#if SHADOW_VVVERBOSE_DEBUG
+#define SH_VVVLOG(_f, _a...)                                            \
+    printk("DOM%uP%u: SH_VVVLOG(%d): " _f "\n",                         \
+           current->domain->id, current->processor, __LINE__ , ## _a )
+#else
+#define SH_VVVLOG(_f, _a...)
+#endif
+
 #if FULLSHADOW_DEBUG
 #define FSH_LOG(_f, _a...)                                              \
     printk("DOM%uP%u: FSH_LOG(%d): " _f "\n",                           \
@@ -661,11 +670,9 @@ static inline void l1pte_propagate_from_guest(
         }
     }
 
-#if 0
     if ( l1e_get_value(spte) || l1e_get_value(gpte) )
-        SH_VVLOG("%s: gpte=%p, new spte=%p",
-                 __func__, l1e_get_value(gpte), l1e_get_value(spte));
-#endif
+        SH_VVVLOG("%s: gpte=%p, new spte=%p",
+                  __func__, l1e_get_value(gpte), l1e_get_value(spte));
 
     *spte_p = spte;
 }